| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Berechenbarkeit und Komplexität | Übung | 397390 | Mo 14:30-16:00 Online-Veranstaltung (×12) | ||
| Fach-/Modulprüfung | 6 | 402160 | |||
| Vorlesung | 400123 | Mi 08:30-10:00 Online-Veranstaltung (×1) Do 08:30-10:00 Online-Veranstaltung (×13) | |||
| Tutorium | 399882 | Do 10:30-12:00 Online-Veranstaltung (×14) Do 12:30-14:00 Online-Veranstaltung (×13) Do 12:30-14:00 Online-Veranstaltung (×14) Do 14:30-16:00 Online-Veranstaltung (×14) Do 16:30-18:00 Online-Veranstaltung (×13) Do 16:30-18:00 Online-Veranstaltung (×14) Fr 10:30-12:00 Online-Veranstaltung (×14) Fr 12:30-14:00 Online-Veranstaltung (×13) Fr 12:30-14:00 Online-Veranstaltung (×14) Fr 14:30-16:00 Online-Veranstaltung (×14) Fr 16:30-18:00 Online-Veranstaltung (×14) | |||
| Compilerbau | Fach-/Modulprüfung | 6 | 402616 | ||
| Vorlesung | 400150 | Do 12:30-14:00 Online-Veranstaltung (×11) Fr 14:30-16:00 Online-Veranstaltung (×10) | |||
| Übung | 398320 | Mi 14:30-16:00 Online-Veranstaltung (×13) Do 08:30-18:00 5056 (2356|056) (×1) Fr 08:30-18:00 5056 (2356|056) (×1) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 402232 | ||
| Vorlesung | 399919 | Di 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×14) | |||
| Tutorium | 400468 | Mi 12:30-14:00 Online-Veranstaltung (×13) Fr 12:30-14:00 Online-Veranstaltung (×13) Fr 16:30-18:00 Online-Veranstaltung (×13) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 404964 | ||
| Vorlesung | 399346 | Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13) | |||
| Übung | 397945 | Do 10:30-12:00 Online-Veranstaltung (×13) |